

		PROBLEMA MATEMATICIANULUI
	       ---------------------------

	Se citesc n<=10 reguli de ofrma Pi1 & Pi2 & Pi3 & .. & Pik -> Pj1 | Pj2 | .. | Pjl, unde
Pi simbolizeaza propozitii. Nu exista mai mult de 10 propozitii distincte. Intelesul este urma-
torul: daca Pi1 este adevarat si Pi2 este adevarat, si.. Pik este adevarat, atunci cel putin una
din dintre Pj1, Pj2, .., Pjl este adevarata.


EXEMPLE:
- P1 -> p2 are intelesul ca daca P1 este adevarata, atunci P2 este adevarata.
- P1 & P2 -> P3 | P4 are intelesul ca daca P1 este adevarat si P2 este adevarat, atunci:
	a) P3 este adevarat
	b) P4 este adevarat
	c) P3 si P4 sunt adevarate.

	Se citesc x si y propozitii care apartin multimii { Pi, i=0,1,..,9 }. Se stie ca x este
adevarat. Puteti decide ca y este adevarat? In caz afirmativ se afiseaza setul de reguli care
v-au condus la concluzie.